منزلِ نخستاز دل‌سپردن به نوتری‌بودنِ حلقه تا مهارِ درجاتِ چندجمله‌ای‌ها ۱. فرضِ بنیادین: فرض کنید ایده‌آلی دلخواه از حلقه‌یِ چندجمله‌ای‌ها در اختیار داریم، در حالی که حلقه‌یِ پایه‌ای ما یک حلقه‌یِ نوتری است (یعنی هر ایده‌آل در آن متناهی‌تولید است). مقصود آن است که نشان دهیم این ایده‌آلِ چندجمله‌ای نیز متناهی‌تولید است. ۲. رصدِ ضرایبِ پیشرو: مجموعه‌ای از تمامِ ضرایبِ پیشروی چندجمله‌ای‌هایِ موجود در آن ایده‌آل را در نظر می‌گیریم. این مجموعه شاملِ بالاترین ضریبِ هر چندجمله‌ای است. ۳. نوتری‌بودنِ

منزلِ دوماز ساختِ ایده‌آلِ فرعی تا شکستِ فرضِ خلف و اثباتِ نوتری‌بودن ۱. ساختِ ایده‌آلِ فرعی: ایده‌آلی نوین از چندجمله‌ای‌هایِ منتخبِ خود در نظر می‌گیریم. به روشنی مشخص است که این ایده‌آلِ به‌روز، زیرمجموعه‌ای از ایده‌آلِ اصلیِ ماست. مقصودِ نهایی آن است که ثابت کنیم این دو جامعاً با یکدیگر برابرند. ۲. آغازِ برهانِ خلف: برایِ اثباتِ تساوی، فرضِ خلف می‌کنیم؛ یعنی فرض نماییم که ایده‌آلِ به‌روز، کوچک‌تر از ایده‌آلِ اصلی باشد. در این صورت، حتماً چندجمله‌ای‌ای در ایده‌آلِ اصلی وجود دارد که در ایده‌

گامِ نخست: برقراریِ فرضِ بنیادین و گامِ دوم: برهانِ خلف در یک خانه.```html روایتِ جامعِ برهانقضیه‌یِ پایه‌یِ هیلبرت — دو منزل، یک فرجاماز نوتری‌بودنِ حلقه‌یِ پایه تا متناهی‌تولید بودنِ حلقه‌یِ چندجمله‌ای‌هامنزلِ نخست — پایه‌گذاریِ فرض و مهارِ ضرایبِ پیشرو۱. فرضِ بنیادین: فرض کنید ایده‌آلی دلخواه از حلقه‌یِ چندجمله‌ای‌ها در اختیار داریم، در حالی که حلقه‌یِ پایه‌ای ما یک حلقه‌یِ نوتری است (یعنی هر ایده‌آل در آن متناهی‌تولید است). مقصود آن است که نشان دهیم این ایده‌آلِ چندجمله‌ای نیز متناهی‌تولید

پلی میانِ جبرِ جابجایی و مجموعه‌های جبری در فضای آفین ۱. نگاشتِ همریختی: فرض کنید همریختیِ پوشایی میان دو حلقه برقرار است. در این صورت، با توجه به قضیه‌های ایزومورفیسمی، حلقه‌یِ خارج‌قسمتی متناظر با هسته‌یِ این نگاشت، ساختاری هم‌ارز و متصل به حلقه‌یِ مقصد پیدا می‌کند. ۲. پیش‌تصویرِ ایده‌آل‌ها: اگر ایده‌آلی دلخواه در حلقه‌یِ مقصد در نظر بگیریم، پیش‌تصویرِ آن تحتِ نگاشتِ همریختی، خود یک ایده‌آل در حلقه‌یِ مبدأ تشکیل می‌دهد. ۳. انتقالِ خاصیتِ نوتری: از آن‌جا که حلقه‌یِ مبدأ نوتری است، پیش‌ت

ثمره‌یِ بوستانِ معرفتدستاوردهایِ ساختاری از تلاقیِ جبرِ جابجایی و هندسه‌ی آفین ۱. حکمِ انتقالِ نوتری‌بودن: نوتری‌بودن خاصیتی است که از حلقه‌یِ مبدأ، به واسطه‌یِ نگاشت‌های همریختیِ پوشا و ساختارِ حلقه‌های خارج‌قسمتی، به تصویرِ نهایی منتقل می‌شود؛ به گونه‌ای که کثرتِ ایده‌آل‌ها همیشه در بندِ متناهی‌تولید بودن آرام می‌گیرد. ۲. خروجی‌یِ قضیه‌یِ پایه‌یِ هیلبرت: به استنادِ این قضیه‌یِ سترگ، حلقه‌یِ چندجمله‌ای‌ها بر روی هر میدانِ پایه‌یِ دلخواه، ماهیتی نوتری دارد؛ و در پیِ آن، هر ایده‌آل در این حلقه

منزلِ پنجم — هندسه‌ی جبریتجزیه‌یِ هندسی و پیوندِ ناگسستنی با ساختارِ جبری ۱. ساختارِ اشتراکیِ صفرگاه‌ها و تعریفِ تحویل‌پذیری تولیدِ متناهی: به استنادِ خاصیتِ نوتری، هر ایده‌آلِ $I$ متناهی‌تولید است و می‌توان آن را با چندجمله‌ای‌های مشخصی به صورتِ $I = langle F_1, dots, F_m rangle$ نمایش داد. در خروجی، مجموعه‌یِ صفرگاهِ آن به صورتِ اشتراکِ متناهی از صفحة ترازها درمی‌آید: V(I) = V(F₁, ..., Fₘ) = V(F₁) ∩ ... ∩ V(Fₘ) تعریفِ تحویل‌پذیری: یک چندگونه‌یِ V در فضای آفین، تحویل‌پذیر نامیده می‌شود هر